Electronic Books

Total Books: 1 - 17 /17
Architecture of Computing Systems - ARCS 2006

Technological progress is one of the driving forces behind the dramatic devel- mentofcomputersystemarchitecturesoverthe pastthreedecades.Eventhough ...

Lire la suite
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Lire la suite
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

Lire la suite
Cooperative Information Agents XII : 12th International Workshop, CIA 2008, Prague, Czech Republic, September 10-12, 2008. Proceedings

This book constitutes the refereed proceedings of the 12th International Workshop on Cooperative Information Agents, CIA ...

Lire la suite
ECOOP 2002 - Object-Oriented Programming

Constitutes the proceedings of the 16th European Conference on Object-Oriented Programming held in Spain in 2002. The 25 ...

Lire la suite
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Lire la suite
ECOOP 2007 – Object-Oriented Programming

This book contains sections on runtime implementation, empirical studies, programs and predicates, language design, inheritance ...

Lire la suite
Engineering Self-Organising Systems (vol. # 3464)

Self-organisation, self-regulation, self-repair, and self-maintenance are promising conceptual approaches to deal with the ...

Lire la suite
Engineering Self-Organising Systems (vol. # 3910)

This book contains recent work from a broad range of areas with the common theme of utilising self-organisation productively. ...

Lire la suite
Euro-Par 2007 Workshops: Parallel Processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

Parallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...

Lire la suite
Implementation and Application of Functional Languages (vol. # 3474)

The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...

Lire la suite
Job Scheduling Strategies for Parallel Processing (vol. # 3277)

This volume contains the papers presented at the 10th Anniversary Workshop on Job Scheduling Strategies for Parallel Processing. ...

Lire la suite
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666)

Constitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...

Lire la suite
NoIMG
Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...

Lire la suite
Software Technologies for Embedded and Ubiquitous Systems : 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

This book includes model-driven development; middleware; real time; quality of service and performance; applications; pervasive ...

Lire la suite
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

Lire la suite
Virtualization

Creating a virtual network allows you to maximize the use of your servers. Virtualization: From the Desktop to the Enterprise ...

Lire la suite
Total Books: 1 - 17 /17